Java Logical Programs